翻訳と辞書 Words near each other ・ List of forests in Lithuania ・ List of Forests in Montana ・ List of forests in Serbia ・ List of forests in the United Kingdom ・ List of forests managed by the Forestry Commission ・ List of forests of South Africa ・ List of Forever Knight episodes ・ List of Forgotten Realms characters ・ List of Forgotten Realms cities ・ List of Forgotten Realms deities ・ List of Forgotten Realms modules and sourcebooks ・ List of Forgotten Realms nations ・ List of Forgotten Realms novels ・ List of Forlanini airships ・ List of formal language and literal string topics ・ List of formal systems ・ List of formations in American football ・ List of formations of the Bangladesh Army ・ List of formations of the Turkish Army 2008 ・ List of former A&M Records artists ・ List of former ABC television affiliates ・ List of former administrative divisions in Cornwall ・ List of former airline hubs ・ List of former American Basketball Association teams ・ List of former and proposed municipalities of Belgrade ・ List of former and renamed Canada's Wonderland attractions ・ List of former and unopened London Underground stations ・ List of former Argentine Senators ・ List of former atheists and agnostics ・ List of former Atlanta street names Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク List of formal systems ： ウィキペディア英語版 List of formal systems This is a list of formal systems, also known as logical calculi. ==Mathematical== * Domain relational calculus, a calculus for the relational data model * Functional calculus, a way to apply various types of functions to operators * Join calculus, a theoretical model for distributed programming * Lambda calculus, a formulation of the theory of reflexive functions that has deep connections to computational theory * Matrix calculus, a specialized notation for multivariable calculus over spaces of matrices * Modal μ-calculus, a common temporal logic used by formal verification methods such as model checking * Pi-calculus, a formulation of the theory of concurrent, communicating processes that was invented by Robin Milner * Predicate calculus, specifies the rules of inference governing the logic of predicates * Propositional calculus, specifies the rules of inference governing the logic of propositions * Refinement calculus, a way of refining models of programs into efficient programs * Rho calculus, introduced as a general means to uniformly integrate rewriting and lambda calculus * Tuple calculus, a calculus for the relational data model, inspired the SQL language * Umbral calculus, the combinatorics of certain operations on polynomials * Vector calculus (also called vector analysis), comprising specialized notations for multivariable analysis of vectors in an inner-product space 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「List of formal systems」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.